Taking a Look at Compression Algorithms
cefboud.com·9h·
🐫Embedded OCaml
Polymorphism for Beginners
roscidus.com·1d·
Discuss: Hacker News
🐫OCaml
Three Meanings of Effects
burakemir.ch·2d·
Discuss: Hacker News
🏹Effect Systems
Incommensurability
lesswrong.com·4h
➡️Category Theory
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·5d
Automated Theorem Proving
The low-cost path to AI Mastery
antonyarkov.substack.com·18h·
Discuss: Substack
Automated Theorem Proving
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·23h·
Discuss: Hacker News
🔬Static Analysis
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·3d·
Discuss: Hacker News
🐫OCaml
Beginners Guide to IC Reverse Engineering – With a High Likelihood of Survival! (DS2025)
cdn.media.ccc.de·14h
💾Retro Computing
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·1d·
Discuss: Hacker News
🔧Unikernel Development
Token Models as Statistical Simulations: A Different Take
medium.com·7h·
Discuss: Hacker News
🧩Parser Combinators
I Use LLMs to Write the Majority of My Code
boredhacking.com·16h·
Discuss: Hacker News
💎Refinement Types
Is CSS Turing complete? (2010)
stackoverflow.com·16h·
Discuss: Hacker News
📐Denotational Semantics
Pointer Tagging in C++: The Art of Packing Bits Into a Pointer
vectrx.substack.com·5h·
Discuss: Substack, r/cpp
🐫Embedded OCaml
The Meandering Sea of Primordial Soupy Thought
kennethreitz.org·1d·
Discuss: Hacker News
➡️Category Theory
I built a Go framework: Anclax
github.com·22h·
Discuss: Hacker News
❄️NixOS
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·12h·
Discuss: Hacker News
⚙️PL Implementation
Controlling program flow with capabilities in Scala
nrinaudo.github.io·3d·
💎Refinement Types
Storing Unwise Amounts of Data in JavaScript Bigints
jonathan-frere.com·1d·
🔠Type-Level Programming
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·6d·
🐫OCaml